Skip to content

Ensure inferred let pattern types are well-formed - #160874

Closed
s7tya wants to merge 1 commit into
rust-lang:mainfrom
s7tya:fix-let-pat-inferred-wf
Closed

Ensure inferred let pattern types are well-formed#160874
s7tya wants to merge 1 commit into
rust-lang:mainfrom
s7tya:fix-let-pat-inferred-wf

Conversation

@s7tya

@s7tya s7tya commented Aug 10, 2026

Copy link
Copy Markdown
Contributor

Fixes #150040

Context: Same as #157013, but that PR was merged without a crater run and FCP, so it was reverted and #157841 was opened instead. However, there is a snippet that causes an ICE, which I reported in #150040 (comment), specifically in tests/crashes/150040.rs. This caused the CI to fail because the root cause was fixed in the original PR and it no longer causes an ICE. This PR removes that crash test case in addition to the previous changes, as it is already covered by the newly added tests.

I don't know how the FCP process works, so if it's problematic to open a different PR from the one where the FCP has finished, please just ignore this and remove tests/crashes/150040.rs in #157841 instead.

r? lcnr

@rustbot

rustbot commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

This PR changes a file inside tests/crashes. If a crash was fixed, please move into the corresponding ui subdir and add 'Fixes #' to the PR description to autoclose the issue upon merge.

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Aug 10, 2026
@JonathanBrouwer

Copy link
Copy Markdown
Contributor

Closing, see #157841 (comment)

@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 10, 2026
@s7tya
s7tya deleted the fix-let-pat-inferred-wf branch August 10, 2026 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Array patterns and tuple patterns don't properly check for Sized

4 participants